161. Theory of Digital Automat
پدیدآورنده: / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Logic design,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
162. Thinking-driven testing :
پدیدآورنده: Adam Roman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
163. Transactions on computational science XXXIII /
پدیدآورنده: Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
رده :
TK5105
.
8857
164. Transactions on engineering technologies :
پدیدآورنده: Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
رده :
TA5
165. Turing's connectionism :
پدیدآورنده: Christof Teuscher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Genetischer Algorithmus.,Konnektionistisches Netz.,Turing-Maschine.
رده :
QA76
.
87
C475
2002
166. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
167. Web and wireless geographical information systems :
پدیدآورنده: Miguel R. Luaces, Farid Karimipour (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
